proof of program
英 [pruːf ɒv ˈprəʊɡræm]
美 [pruːf əv ˈproʊɡræm]
【计】程序证明
双语例句
- Before running the program, a host will check the validity of the proof to evaluate the safety of the program.
主机在运行程序前检查程序携带的安全性证明的正确性。 - The proof of program and design of the chamber can be made by the method of combining physical test with computer simulation.
采用物理试验与计算机模拟相结合的方法进行方案论证和技术设计。 - The satisfiability of logical formula in proof of program
程序正确性证明中逻辑公式的可满足性 - Proof of program correctness and a method of getting loop invariant
程序正确性证明及循环不变式的寻找方法 - A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法 - Practice was full proof that, by means of establishing micro tension controlling program in within middle rolling mill group, the some problems that have arisen in production line of bar could be nicely solved.
实践证明，在中轧机组增设微张力控制环节能够有效的解决现场出现的问题。 - Proof of program correctness based on syntax trees
基于语法树和程序正确性验证研究 - Method of Processing Proof Strength of Non-Proportional by Computer Program
规定非比例延伸强度计算机处理方法 - This paper presented a new method of the proof of program correctness based on syntax trees.
提出了一种新的基于语法树的程序正确性验证方法（STM方法）。 - The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。